#include <stdio.h>

int main()
{
    char buf[1024] = {0};
    fgets(buf, sizeof(buf), stdin);
    printf("[echo]");
    printf("%s\n", buf);
    return 0;
}
